During the past decade and a half, the field of family literacy has gone from its infancy on the educational periphery toward a position closer to the mainstream. Characteristic ofthe field’s growth is the nation’s largest endeavor in family literacy, the federal Even Start program, which began from scratch in the late 1980s and now claims more than 800 local programs in 50 states and Puerto Rico.Despite several national evaluations of Even Start, no comprehensive study in the family literacy literature (...) specifically focuses on this quarter-billion dollar program’s attempts to measure the progress of its adult students. Accordingly, this study sought to discover the ways in which adult assessment is performed by Even Start programs.This essay emphasizes critical thinking with regards to assessment in Even Start programs Critical thought and reflection drive the exploration of several themes in the study’s data that carry itnplications for the families served by Even Start. These implications, gleaned from what Brookfield (1987) calls “reflective skepticism” and careful study of the data, bring the survey’s numbers to life and ultimately yield useful, potentially program-enhancing information.The article offers background on family literacy and Even Start programs and briefly illustrates the study’s methodology. Then follows a discourse that views the study’s findings through the lens of critical thought, drawing meaning from selected findings that contain repercussions for Even Start families. The piece concludes with recommendations for the improvement of Even Start programs through enhanced assessment and continued study. (shrink)

We review scholarship that examines relationships - and distinctions - between religion and delusion. We begin by outlining and endorsing the position that both involve belief. Next, we present the prevailing psychiatric view that religious beliefs are not delusional if they are culturally accepted. While this cultural exemption has controversial implications, we argue it is clinically valuable and consistent with a growing awareness of the social - as opposed to purely epistemic - function of belief formation. Finally, we review research (...) on continuities between religious and delusional cognition, which reveals that religious content is quite common in delusions and which provides tentative evidence for a positive relationship between religious belief and delusion-like belief in the general population. (shrink)

This inquiry analyzed the extent to which television commercials used mature models, relative to younger models. It also analyzed the extent to which commercials portrayed the elderly in a favorable or an unfavorable manner. The study used content analysis to test twelve hypotheses. The authors arrived at conclusions relating to the depiction of mature individuals in television commercials and set forth various recommendations to advertisers, based on the analysis.

v. 1. Nicomachean ethics. Politics. The Athenian Constitution. Rhetoric. On Poetics.--v. 2. Logic.--v. 3. Physics. Metaphysics. On the soul. Short physical treaties.--v. 4. On the heavens. On generation and corruption. Meteorology. Biological treatises.

We collect together some misgivings about the logic R of relevant inplication, and then give support to a weak entailment logic $DJ^{d}$ . The misgivings centre on some recent negative results concerning R, the conceptual vacuousness of relevant implication, and the treatment of classical logic. We then rectify this situation by introducing an entailment logic based on meaning containment, rather than meaning connection, which has a better relationship with classical logic. Soundness and completeness results are proved for $DJ^{d}$ with respect (...) to a content semantics, which embraces the concept of meaning containment. (shrink)

The main aim is to extend the range of logics which solve the set-theoretic paradoxes, over and above what was achieved by earlier work in the area. In doing this, the paper also provides a link between metacomplete logics and those that solve the paradoxes, by finally establishing that all M1-metacomplete logics can be used as a basis for naive set theory. In doing so, we manage to reach logics that are very close in their axiomatization to that of the (...) logic R of relevant implication. A further aim is the use of metavaluations in a new context, expanding the range of application of this novel technique, already used in the context of negation and arithmetic, thus providing an alternative to traditional model theoretic approaches. (shrink)

Abstract:This paper develops a framework for examining decision making about ethical issues and tests the applicability of a social contract perspective. Using two separate samples of students and salespeople, we determine that community members (salespeople) tend to judge a potentially unethical act to constitute a violation of an implicit social contract and non-community members (students) do not. Also, consistent with the emphasis on context specificity of integrative social contracts theory, situational variables influence perceptions of ethicality for the community members, but (...) do not affect the perceptions of individuals outside the community. The study finds considerable support for the use of a social contractarian perspective in the study of decision-making processes about ethical issues. (shrink)

This paper surveys the various forms of Deduction Theorem for a broad range of relevant logics. The logics range from the basic system B of Routley-Meyer through to the system R of relevant implication, and the forms of Deduction Theorem are characterized by the various formula representations of rules that are either unrestricted or restricted in certain ways. The formula representations cover the iterated form,A 1 .A 2 . ... .A n B, the conjunctive form,A 1&A 2 & ...A n (...) B, the combined conjunctive and iterated form, enthymematic version of these three forms, and the classical implicational form,A 1&A 2& ...A n B. The concept of general enthymeme is introduced and the Deduction Theorem is shown to apply for rules essentially derived using Modus Ponens and Adjunction only, with logics containing either (A B)&(B C) .A C orA B .B C .A C. (shrink)

This paper deals with a collection of concerns that, over a period of time, led the author away from the Routley–Meyer semantics, and towards proof- theoretic approaches to relevant logics, and indeed to the weak relevant logic MC of meaning containment.

In part I, we presented an algebraic-style of semantics, which we called “content semantics,” for quantified relevant logics based on the weak systemBBQ. We showed soundness and completeness with respect to theunreduced semantics ofBBQ. In part II, we proceed to show soundness and completeness for extensions ofBBQ with respect to this type of semantics. We introducereduced semantics which requires additional postulates for primeness and saturation. We then conclude by showing soundness and completeness forBB d Q and its extentions with respect (...) to this reduced semantics. (shrink)

This is a general account of metavaluations and their applications, which can be seen as an alternative to standard model-theoretic methodology. They work best for what are called metacomplete logics, which include the contraction-less relevant logics, with possible additions of Conjunctive Syllogism, & →.A→C, and the irrelevant, A→.B→A, these including the logic MC of meaning containment which is arguably a good entailment logic. Indeed, metavaluations focus on the formula-inductive properties of theorems of entailment form A→B, splintering into two types, M1- (...) and M2-, according to key properties of negated entailment theorems. Metavaluations have an inductive presentation and thus have some of the advantages that model theory does, but they represent proof rather than truth and thus represent proof-theoretic properties, such as the priming property, if ├ A $\vee$ B then ├ A or ├ B, and the negated-entailment properties, not-├ ∼ and ├ ∼ iff ├ A and ├ ∼ B. Topics to be covered are their impact on naive set theory and paradox solution, and also Peano arithmetic and Godel’s First and Second Theorems. Interesting to note here is that the familiar M1- and M2-metacomplete logics can be used to solve the set-theoretic paradoxes and, by inference, the Liar Paradox and key semantic paradoxes. For M1-logics, in particular, the final metavaluation that is used to prove the simple consistency is far simpler than its correspondent in the model-theoretic proof in that it consists of a limit point of a single transfinite sequence rather than that of a transfinite sequence of such limit points, as occurs in the model-theoretic approach. Additionally, it can be shown that Peano Arithmetic is simply consistent, using metavaluations that constitute finitary methods. Both of these results use specific metavaluational properties that have no correspondents in standard model theory and thus it would be highly unlikely that such model theory could prove these results in their final forms. (shrink)

We start by noting that the set-theoretic and semantic paradoxes are framed in terms of a definition or series of definitions. In the process of deriving paradoxes, these definitions are logically represented by a logical equivalence. We will firstly examine the role and usage of definitions in the derivation of paradoxes, both set-theoretic and semantic. We will see that this examination is important in determining how the paradoxes were created in the first place and indeed how they are to be (...) solved in a uniform way. There are three features that are special about these definitions used in the derivation of most of the above paradoxes. The first is the use of self-reference between the definiens and the definiendum, the second is the generality of the definiendum, and the third is the under-determination and over-determination of concepts that usually occur as a result of these definitions. We will examine the impact of these three features on the logical representation of definitions and show how this representation then leads to a uniform paradox solution using an appropriate logic that is both paraconsistent and paracomplete. However, it is the paracompleteness, exhibited through the rejection of the Law of Excluded Middle, together with the rejection of contraction principles, that enables the solution of the paradoxes to go through. We characterize definitions as involving syntactic identity and/or meaning identity. We point out that some paradoxes do not have explicit self-reference or circularity and some may not utilize the generality of the definiendum, but the general characterizations of definitions that we give will still apply. We also look beyond all this to paradoxes that rely on illicit definitions between objects that are essentially different to start with. (shrink)

This study reveals how human attitudes to the long-term effects of their actions are crucially bound up with their ideas of personal identity. This collection of essays contrasts eastern and western philosophies of concern for the future, and offers some suggestions for their possible reconciliation.

Heidegger’s position on the relation of the holy and the divine to the truth of being and the possible signification of the word ‘God’ is internally related to his understanding of truth as a double-concealment. Formal indication holds the key to this internal relation. The question of how the deity enters into philosophy forms the framework within which these thoughts are developed.

In [1], we established Gentzenizations for a good range of relevant logics with distribution, but, in the process, we added inversion rules, which involved extra structural connectives, and also added the sentential constantt. Instead of eliminating them, we used conservative extension results to relate them back to the original logics. In [4], we eliminated the inversion rules andtand established a much simpler Gentzenization for the weak sentential relevant logicDW, and also for its quantificational extensionDWQ, but a restriction to normal formulae (...) (defined below) was required to enable these results to be proved. This method was quite general and hope was expressed about extending it to other relevant logics.In this paper, we develop an innovative method, which makes essential use of this restriction to normality, to establish two simple Gentzenizations for the normal formulae of the slightly weaker logic B, and then extend the method to other sentential contraction-less logics. To obtain the first of these Gentzenizations, for the logicsBandDW, we remove the two branching rules (F&) and (T∨), together with the structural connective ‘,’, to simplify the elimination of the inversion rules andt. We then eliminate the rules (T&) and (F∨), thus reducing the Gentzen system to one containing only ˜ and → and their four associated rules, and reduce the remaining types of structures to four simple finite types. Subsequently, we re-introduce (T&) and (F∨), and also (F&) and (T∨), to obtain the second Gentzenization, which contains ‘,’ but no structural rules. (shrink)

We present an algebraic-style of semantics, which we call a content semantics, for quantified relevant logics based on the weak system BBQ. We show soundness and completeness for all quantificational logics extending BBQ and also treat reduced modelling for all systems containing BB d Q. The key idea of content semantics is that true entailments AB are represented under interpretation I as content containments, i.e. I(A)I(B) (or, the content of A contains that of B). This is opposed to the truth-functional (...) way which represents true entailments as truth-preservations over all set-ups (or worlds), i.e. (VaK) (if I(A, a) = T then I(B, a)= T). (shrink)

We argue that formal logical systems are four-valued, these four values being determined by the four deductive outcomes: A without ~A, ~A without A, neither A nor ~A, and both A and ~A. We further argue that such systems ought to be three-valued, as any contradiction, A and ~A, should be removed by reconceptualisation of the concepts captured by the system. We follow by considering suitable conditions for the removal of the third value, neither A nor ~A, yielding a classically (...) valued system. We then consider what values are appropriate for the meta-theory, arguing that it should be three-valued, but reducible to the two classical values upon the decidability of the object system. (shrink)

We provide a semantics for relevant logics with addition of Aristotle's Thesis, ∼(A→∼A) and also Boethius,(A→B)→∼(A→∼B). We adopt the Routley-Meyer affixing style of semantics but include in the model structures a regulatory structure for all interpretations of formulae, with a view to obtaining a lessad hoc semantics than those previously given for such logics. Soundness and completeness are proved, and in the completeness proof, a new corollary to the Priming Lemma is introduced (c.f.Relevant Logics and their Rivals I, Ridgeview, 1982).